Compressed data structures for Heegaard splittings
arxiv.org·2h
🕳️Persistent Homology
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·9h·
Discuss: Hacker News
🎯Interactive Provers
Advanced PDF Optimization Techniques - 1752612
dev.to·10h·
Discuss: DEV
📝Text Compression
Checking data integrity
eclecticlight.co·19m
✅Checksum Validation
On Information Geometry and Iterative Optimization in Model Compression: Operator Factorization
arxiv.org·1d
🧠Machine Learning
The Ancient History of Compression Algorithms
cs4fn.org·5d·
Discuss: Hacker News
📝Text Compression
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
A Minimal DDPM
github.com·4h·
Discuss: Hacker News
🧠Machine Learning
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·14h
🖥️Terminal Renaissance
Information Must Flow: Recursive Bootstrapping for Information Bottleneck in Optimal Transport
arxiv.org·1d
⧗Information Bottleneck
COLI: A Hierarchical Efficient Compressor for Large Images
arxiv.org·2h
🧠Neural Compression
A distributed systems reliability glossary
antithesis.com·15h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·16h
📐Mathematical Art
The Man Behind the Sound: Demystifying Audio Private Attribute Profiling via Multimodal Large Language Model Agents
arxiv.org·1d
🎵Audio ML
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·9h·
Discuss: Hacker News
🌀Differential Geometry
Billions of Edges per Second with Postgres
onesparse.com·12h·
Discuss: Hacker News
🗜️Graph Compression
Evaluating Image Compression Tools
rachelplusplus.me.uk·3d·
Discuss: Hacker News
📊Rate-Distortion Theory
Asymmetry of Verification and Verifier's Law
jasonwei.net·5h·
Discuss: Hacker News
🔮Proof Search
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
🧮Theoretical Computer Science